63e9736e606369ec17cdb98dd639af1727a23c6d,RelUI/src/org/reldb/dbrowser/ui/content/rel/var/grids/Editor.java,Editor,refresh,#,790

Before Change


    
    public void refresh() {
    	if (table != null) {
    		dataProvider.reload();
    		table.refresh();
    	}
    }

After Change


    
    public void refresh() {
    	if (table != null) {
    		if (dataProvider != null)
    			dataProvider.reload();
    		table.refresh();
    	}
    }